More from this Author
Found 9 books by Thomas A. Henzinger (Editor)
Handbook of Model Checking
by Edmund M. Clarke (Editor), Thomas A. Henzinger (Editor), Helmut Veith (Editor), Roderick Bloem (Editor)
Handbook of Model Checking
by Edmund M. Clarke (Editor), Thomas A. Henzinger (Editor), Helmut Veith (Editor), Roderick Bloem (Editor)
Mathematical and Engineering Methods in Computer Science
by Antonin Kucera (Editor), Thomas A. Henzinger (Editor), Jaroslav Nesetril (Editor), Tomas Vojnar (Editor), David Antos (Editor)
Computer Aided Verification
by Rajeev Alur (Editor), Thomas A. Henzinger (Editor)
Computational Methods in Systems Biology
by Ashutosh Gupta (Editor), Thomas A. Henzinger (Editor)
Computer Science Logic
by Jacques Duparc (Editor), Thomas A. Henzinger (Editor)
Computational Methods in Systems Biology
by Ashutosh Gupta (Editor), Thomas A. Henzinger (Editor)
Mathematical and Engineering Methods in Computer Science
by Antonin Kucera (Editor), Thomas A. Henzinger (Editor), Jaroslav Nesetř, il (Editor), Tomas Vojnar (Editor), David Antos (Editor)
Handbook of Model Checking
by Edmund M. Clarke (Editor), Thomas A. Henzinger (Editor), Helmut Veith (Editor), Roderick Bloem (Editor)